Mathematical software - PDFSEARCH.IO - Document Search Engine

Mathematical software
Results: 3985

#	Item
121	Map Sketch Generation as a Service Antonios Liapis Institute of Digital Games University of Malta Add to Reading List Source URL: antoniosliapis.com Language: English - Date: 2015-08-13 18:07:00 Software engineering Computing Computer programming Subroutines Scripting languages Ajax JSON JavaScript Genetic algorithm Mathematical optimization Parameter XC
122	Verifying Cross-Cutting Features as Open Systems Harry Li† Shriram Krishnamurthi Kathi Fisler Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2002-11-30 10:29:52 Mathematical logic Theoretical computer science Formal methods Logic Logic in computer science Hardware verification languages Model checking Formal verification E Gmail Aspect-oriented software development Propositional calculus
123	Status of Partial Information Software Paul Levine University of Surrey Joseph Pearlman London Metropolitan University Add to Reading List Source URL: www.monfispol.eu Language: English - Date: 2011-11-16 06:27:36 Economics Signal processing Statistics Dynamic stochastic general equilibrium Control theory Estimation theory Macroeconomic model Mathematical optimization Impulse response Autoregressive model
124	The Speakers Jawad Elomari he is a lead researcher at ORTEC B.V. on mixed integer nonlinear optimization. He has worked in various industries like supply chain, pharmaceuticals, and engineering design. His research inter Add to Reading List Source URL: or2015.univie.ac.at Language: English - Date: 2015-07-09 02:39:51 Operations research Numerical analysis Mathematical optimization Mathematical analysis Mathematics Linear programming Multi-objective optimization Computer algebra systems Numerical software General Algebraic Modeling System Artelys Knitro
125	GEOSBeyond the Mouse: Computer Programming and Automation for Geoscientists (Fall 2014) Add to Reading List Source URL: www.uaf.edu Language: English - Date: 2015-09-09 19:41:50 Software Application software Array programming languages Econometrics software Linear algebra MATLAB Mathematical software Parallel computing Generic Mapping Tools Homework Unix Computer mouse
126	University of the Aegean Department of Information and Communication Systems Engineering Artificial Intelligence Laboratory Adaptive Strategies for Solving Constraint Satisfaction Problems Add to Reading List Source URL: www.icsd.aegean.gr Language: English - Date: 2013-12-07 04:41:14 Constraint programming Operations research Software engineering Constraint satisfaction problem Computer programming Local consistency Search algorithms Constraint satisfaction Mathematical optimization Backtracking
127	fx-Calc How-To Fx-Calc How-ToContent Fx-Calc – universal desktop calculator for Windows............................................................................... 3 Add to Reading List Source URL: www.fx-calc.de Language: English - Date: 2016-06-03 02:58:44 Mathematical analysis Mathematics Office equipment Analytic functions Exponentials Calculators Mathematical notation Scientific calculator Hyperbolic function Calculus Software calculator Exponential function
128	Workshop on Building Energy Optimisation - BS2015 Add to Reading List Source URL: bs2015.in Language: English - Date: 2015-10-09 10:54:10 Operations research Mathematical optimization International Building Performance Simulation Association Software Construction Real estate Global optimization
129	Introduction Basics Matrices Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2014-01-22 06:45:29 Software Application software Mathematical software Array programming languages MATLAB GNU Octave Matrix R BASIC
130	Automation for Exception Freedom Proofs Bill J. Ellis and Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt University Edinburgh, Scotland, UK Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2004-11-10 11:53:13 Software engineering Formal methods Theoretical computer science Automated theorem proving Computing Loop invariant Mathematical proof Rippling Extended static checking Recurrence relation Automated reasoning Invariant